退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:完整的继发性结石,用于诱导和无限下降
James Brotherston; Alex Simpson;
机译:继发性结石,以诱导和无限下降
机译:具有知识的知识和信念的分支时间时间逻辑的后续计算:完整性和可判定性
机译:反事实逻辑的自然演绎计算和后续计算
机译:归纳和无限下降的完整后续计算
机译:关于使用图形计算:各种图解代数中的中心,零位霍克希尔德同调性和归纳和限制函子的可能组成。
机译:从真相比较游戏到Gödel逻辑的相依关系计算
机译:用于感应和无限下降的完整后续结石
机译:正态模态命题逻辑的后续计算
机译:用于混合动力汽车动力总成的无级变速箱,其副轴在电机上对齐,其中副轴支撑连接到两个下降链和车辆车轮的行星齿轮
机译:频率序列创建方法和频率序列创建设备
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。